Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
691	LOGIC PROGRAMMING Robert Kowalski 1 INTRODUCTION Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-12-18 05:34:05 Theoretical computer science Rules of inference Automated theorem proving Predicate logic Programming paradigms Resolution Horn clause Prolog Clause Logic programming Logic Mathematical logic
692	mWuDI?D(SD&D:, D~urnD:,D:,D@rn~@~ ~rnwDrn~ 7 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-01-20 05:56:19 Rules of inference Logic programming Automated theorem proving And–or tree Algorithm Prolog Robert Kowalski Horn clause First-order logic Logic Mathematics Mathematical logic
693	Matching concepts across HOL libraries ⋆ arXiv:1405.3906v1 [cs.LO] 15 May 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-15 21:22:55 Logic in computer science Automated theorem proving HOL Isabelle Proof assistant First-order logic Higher-order logic Function L-system Mathematical logic Mathematics Theoretical computer science
694	Verifying Object-Oriented Programs with KeY: A Tutorial Wolfgang Ahrendt1 , Bernhard Beckert2 , Reiner H¨ ahnle1 , Philipp R¨ ummer1 , 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2008-12-01 03:14:07 Formal methods Automated theorem proving Logic in computer science KeY Java Modeling Language Proof assistant Formal verification Java Logic programming Theoretical computer science Computing Applied mathematics
695	Anytime Lifted Belief Propagation Rodrigo de Salvo Braz ∗ Sriraam Natarajan † Hung Bui ∗ Jude Shavlik † Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2009-05-29 13:49:03 Mathematical logic Automated theorem proving Statistics Applied mathematics Theoretical computer science Belief propagation Algorithm Resolution Unification Mathematics Graphical models Bayesian statistics
696	EXPTIME Tableaux for ALC Using Sound Global Caching Rajeev Gor´e1 and Linh Anh Nguyen2 1 The Australian National University Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Automated theorem proving Method of analytic tableaux Graph Directed graph Mathematical logic Graph theory Theoretical computer science Mathematics
697	AAAI[removed]Spring Symposium Series March 26 – 28, 2001 Stanford University, California Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 18:42:06 Emerging technologies Computational neuroscience Knowledge engineering Automated theorem proving Reasoning system Ambient intelligence Applications of artificial intelligence Actor model Intelligence Science Artificial intelligence Knowledge
698	Branden Fitelson & Edward N. Zalta Steps Toward a Computational Metaphysics∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2007-08-22 20:20:00 Automated theorem proving Model theory Prover9 First-order logic Function Unification Functor Resolution Modal logic Logic Mathematics Mathematical logic
699	Kevin Watkins 1570 Bridgeview Drive · San Diego CA 92105 · [removed]removed] · http://www.cs.cmu.edu/~kw Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-27 15:02:09 Logic in computer science Type theory Formal methods Automated theorem proving Logical framework Twelf Logic programming Prolog Programming language Programming language theory Theoretical computer science Software engineering
700	Equivariant Unification James Cheney University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-14 06:03:16 Symbol Analytic functions Connection Differential geometry Mathematics Artificial intelligence Automated theorem proving Logic programming Unification

UPDATE